Tel Aviv - PDFSEARCH.IO - Document Search Engine

Tel Aviv
Results: 1494

#	Item
251	Sorting Networks Uri Zwick Tel Aviv University May 2015 Comparators Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-05-27 16:20:37 Combinatorics Sorting network Comparator Insertion sort Bubble sort Sorting Digital comparator Sorting algorithms Order theory Mathematics
252	Abstract Canonical Inference MARIA PAOLA BONACINA Dipartimento di Informatica, Universit`a degli Studi di Verona and NACHUM DERSHOWITZ School of Computer Science, Tel Aviv University Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13
253	Balancing Sets of Vectors Noga Alon* Department of Mathematics Tel Aviv University Ramat Aviv, Tel Aviv and Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:09:56
254	SOLUTIONS Sharing Opportunities for Low carbon Urban Transport D4.1 Assessment of city needs and gap analysis (working paper) SOLUTIONS Add to Reading List Source URL: www.urban-mobility-solutions.eu Language: English - Date: 2014-11-24 09:17:43 Mediterranean Sea Tel Aviv Israel Metropolis Interreg Sustainable transport Haifa Western Asia Asia European Union
255	Visa Europe Collab innovation hub expands to Israel Visa Europe Collab will help Israeli startups turn innovative fintech ideas into commercial reality Tel Aviv, Israel – 26 May 2015 – Visa Europe today announces the Add to Reading List Source URL: www.visaeurope.com Language: English - Date: 2015-05-26 10:18:14 Financial services Business Acronyms Visa Inc. Tel Aviv
256	van Emde Boas Trees Dynamic Predecessors Uri Zwick Tel Aviv University Dictionaries Hash Tables Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-06-28 05:21:04
257	TEL AVIV UNIVERSITY The George S. Wise Faculty of Life Sciences Department of Zoology Add to Reading List Source URL: www.searc-consulting.com Language: English - Date: 2013-01-24 12:51:24
258	SOLUTIONS Sharing Opportunities for Low carbon Urban Transport D4.1 Assessment of city needs and gap analysis (working paper) SOLUTIONS Add to Reading List Source URL: urban-mobility-solutions.eu Language: English - Date: 2014-11-24 09:17:43 Mediterranean Sea Tel Aviv Israel Metropolis Interreg Sustainable transport Haifa Western Asia Asia European Union
259	Matrix Multiplication and Graph Algorithms Uri Zwick Tel Aviv University February 2015 Last updated: June 10, 2015 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-06-10 09:06:04 Multiplication Numerical linear algebra Binary operations Matrix theory Matrix multiplication Matrix Multiplication algorithm Strassen algorithm Mathematics Algebra Linear algebra
260	Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-07-19 18:40:19 Mathematical proof Equational logic Proof theory Theorem Automated theorem proving Mathematical induction Logic Mathematics Mathematical logic

UPDATE